type T

impl Hash for T with hash_combine(self : T, hasher: Hasher) {
  // ...
}